🔠 Type-Level Programming - matmat · Scour

A Graded Modal Dependent Type Theory with Erasure, Formalized ⬌Bidirectional Typing

arxiv.org·1d·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Issue 518 🔗Functional Compilers

haskellweekly.news·12h·

🐍 Functionally Zen 🧬Functional Programming

testdouble.com·3h·

Linear types proposal for Hare 🔒Type Safety

yerinalexey.srht.site·1d·Lobsters, Hacker News·

What Would You See Changed in Haskell? 🔗Functional Compilers

blog.haskell.org·23h·Lobsters, Hacker News, r/programming·

Validating Hare’s Sort Module using Symbolic Execution ⚔️Lean Tactics

notes.8pit.net·5h·Lobsters·

Rust's next-generation trait solver 🦀Rust Verification

lwn.net·3d·Lobsters, Hacker News, r/programming·

Formal Verification in Any Language for Everybody ⚔️Lean Tactics

dev-log.me·2d·Hacker News·

C++ support by stedolan · Pull Request #14701 🦀Rust Macros

github.com·21h·Hacker News·

Rust-Powered Graph Embedding Engine 🦀Rust Borrowing

cleora.ai·6h·Hacker News·

JSON Zen – compact JSON schema for sanity checks and LLM context ✅Format Verification

json-zen.sleekcms.site·5h·Hacker News·

A WASM first programming language with effect typing 🧩WASM Components

voyd.dev·2d·Hacker News·

The Type Theorists need to take a look at Zig 💻Programming languages

pure-systems.org·6d·Hacker News·

The Racket Programming Language 🧠Lisp Dialects

racket-lang.org·2d·Hacker News·

Zero-Dependency Programming 🦀Rust Borrowing

conjure.pages.dev·3d·Hacker News·

DSTs Are Just Polymorphically Compiled Generics 🦀Rust Borrowing

faultlore.com·1d·Lobsters, Hacker News, Hacker News·

A+ 📊APL Heritage

aplwiki.com·2d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification ⚔️Lean Tactics

goedelcodeprover.github.io·6d·Hacker News·

Abstract Semantic Graph 🔢Denotational Semantics

en.wikipedia.org·1d·Hacker News·

Loading more...